We present PhrasIS, a benchmark dataset composed of natural occurring Phrase pairs with Inference and Similarity annotations for the evaluation of semantic representations. The described dataset fills the gap between word and sentence-level datasets, allowing to evaluate compositional models at a finer granularity than sentences. Contrary to other datasets, the phrase pairs are extracted from naturally occurring text in image captions and news headlines. All the text fragments have been annotated by experts following a rigorous process also described in the (...) manuscript achieving high inter annotator agreement. In this work we analyse the dataset, showing the relation between inference labels and similarity scores. With 10K phrase pairs split in development and test, the dataset is an excellent benchmark for testing meaning representation systems. (shrink)

In this paper, we analyse the most important documents establishing the criteria for the treatment and exclusion of COVID-19 patients, especially in regard to the giving of respiratory support, in Italy and Spain. These documents reflect a tension that stems from limited healthcare resources which are insufficient to save lives that, under normal conditions, could have been saved, or at least could have received the best possible treatment. First, we analyse the healthcare systems of these two countries before the spread (...) of the virus, both of which have seen decreases in the number of intensive care beds and have been marked by financial cuts during the last ten years. It is a fact that a greater number of people, especially those over 70 years of age, have been left without respiratory support treatment, and therefore, there have been a greater number of deaths. It is also a fact that there has been a higher infection rate among healthcare professionals due to the delay in the management of protective measures and the inability to provide adequate care for those in nursing homes, as recognised by WHO. In the context of this health emergency, healthcare professionals have suffered a real ‘moral distress’ because, knowing first-hand the causes of the limitation of resources, they have had to put triage protocols into practice. Finally, we set forth a series of concrete ethical proposals with which to face the successive waves of COVID-19 infection, as well as other future pandemics. (shrink)

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

Directional deep brain stimulation contacts provide greater spatial flexibility for therapy than traditional ring-shaped electrodes, but little is known about longitudinal changes of impedance and orientation. We measured monopolar and bipolar impedance of DBS contacts in 31 patients who underwent unilateral subthalamic nucleus deep brain stimulation as part of a randomized study. At different follow-up visits, patients were assigned new stimulation configurations and impedance was measured. Additionally, we measured the orientation of the directional lead during surgery, immediately after surgery, and (...) 1 year later. Here we contrast impedances in directional versus ring contacts with respect to local anatomy, active stimulation contact, and over time. Directional contacts display larger impedances than ring contacts. Impedances generally increase slightly over the first year of therapy, save for a transient decrease immediately post-surgery under general anesthesia during pulse generator placement. Local impedances decrease at active stimulation sites, and contacts in closest proximity to internal capsule display higher impedances than other anatomic sites. DBS leads rotate slightly in the immediate postoperative period but otherwise remain stable over the following year. These data provide useful information for setting clinical stimulation parameters over time. (shrink)

This book paints a comprehensive portrait of Mexico’s system of assisted reproduction first from a historical perspective, then from a more contemporary viewpoint. Based on a detailed analysis of books and articles published between the 1950s and 1980s, the first section tells the story of how the epistemic, normative, and material infrastructure of the assisted reproduction system was built. It traces the professionalization process of assisted reproduction as a medical field and the establishment of its professional association. Drawing on ethnographic (...) material, the second part looks at how this system developed and flourished from the 1980s up to 2010, its commercialization process, how the expansion of reproductive services took place, and the messages regarding reproductive technologies that circulated within a wide discursive landscape. Given its scope and methods, this book will appeal to scholars interested in science and technology studies, reproduction studies, history of medicine, medical anthropology, and sociology. (shrink)

This article has two objectives: the first, to analyze the professionalization process of assisted reproduction (AR) in order to see how AR is consolidating into an independent field within medicine, and the second, to see how AR arrived and was assimilated into Mexican culture. As opposed to other projects that have traced back the story of a particular specialty to see how it emerged as such, this article looks at an ongoing process: specialization in action. By analyzing the data collected (...) through three years of multisited ethnography using tools offered by the sociology of professions and the history of medical specialization, I identify specific moments in which AR is gaining cognitive, normative, and evaluative consolidation, structure, and independence. This leads me to suggest that AR might separate from gynecology and become an independent specialty within medicine. I offer examples to support this argument and show how AR has developed into a biomedical service, a professional biomedical field, and a biomedical business. (shrink)

This book is a rich blend of analyses by leading experts from various cultures and disciplines. A compact introduction to a complex field, it illustrates biotechnology's profound impact upon the environment and society. Moreover, it underscores the vital relevance of cultural values. This book empowers readers to more critically assess biotechnology's value and effectiveness within both specific cultural and global contexts.

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

A prefrontal control system that is less mature than the limbic reward system in adolescence is thought to impede self-regulatory abilities, which could contribute to poor dietary choices and obesity. We, therefore, aimed to examine whether structural morphology of the prefrontal cortex and the amygdala are associated with dietary decisions and obesity in children and adolescents. Seventy-one individuals between the ages of 8–22 years participated in this study; each participant completed a computer-based food choice task and a T1- and T2-weighted (...) structural brain scans. Two indices of obesity were assessed, including age- and sex-specific body mass index and waist-to-height ratio. The behavioral task included rating 60 food stimuli for tastiness, healthiness, and liking. Based on each participant’s self-ratings, 100 binary food choices were then made utilizing a computer mouse. Dietary “self-control” was calculated as the proportion of trials where the individual chose the healthier food item over the total number of trials. Cortical thickness and amygdala subnuclei volumes were quantified using FreeSurfer 6.0 and CIT168 atlas, respectively. We found that WHtR was negatively associated with the thickness of bilateral superior frontal, left superior temporal, right insula, and right inferior temporal regions. We also found WHtR to be positively associated with the volume of the central nucleus region of the amygdala, after adjusting for the hemisphere, age, sex, and intracranial volumes. A similar data pattern was observed when BMIz was used. Moreover, we found that across all participants, thinner right superior frontal cortex and larger left CEN volumes predicted lower dietary self-control. These results suggest that differential development of the PFC and amygdala relate to obesity and dietary self-control. Further longitudinal studies are merited to determine causal relationships among altered PFC to amygdala neural circuitry, dietary self-control, and obesity. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

In this international and interdisciplinary collection of critical essays, distinguished contributors examine a crucial premise of traditional readings of Plato's dialogues: that Plato's own doctrines and arguments can be read off the statements made in the dialogues by Socrates and other leading characters. The authors argue in general and with reference to specific dialogues, that no character should be taken to be Plato's mouthpiece. This is essential reading for students and scholars of Plato.

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...) sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

The target article “Bounded Justice, Inclusion, and the Hyper/Invisibility of Race in Precision Medicine” is a welcome addition to the corpus on inclusion in genomics and precision medicine (Ferrym...

The two authors of this paper have diametrically opposed views of the prevalence and strength of adaptation in nature. Hendry believes that adaptation can be seen almost everywhere and that evidence for it is overwhelming and ubiquitous. Gonzalez believes that adaptation is uncommon and that evidence for it is ambiguous at best. Neither author is certifiable to the knowledge of the other, leaving each to wonder where the other has his head buried. Extensive argument has revealed that each author thinks (...) his own view is amply supported by both theory and empirical evidence. Further reflection has revealed that the differences in opinion may start with the different disciplines in which we work: evolutionary ecology for Hendry and community ecology for Gonzalez. In the present paper, we each present devastating evidence supporting our own position and thus refuting that of the other. We then identify the critical differences that led to such opposing views. We close by combining our two perspectives into a common framework based on the adaptive landscape, and thereby suggest means by which to assess the prevalence and strength of adaptation. (shrink)

The objectives of this study were to develop a high-density chromosome bin map of homoeologous group 7 in hexaploid wheat, to identify gene distribution in these chromosomes, and to perform comparative studies of wheat with rice and barley. We mapped 2148 loci from 919 EST clones onto group 7 chromosomes of wheat. In the majority of cases the numbers of loci were significantly lower in the centromeric regions and tended to increase in the distal regions. The level of duplicated loci (...) in this group was 24% with most of these loci being localized toward the distal regions. One hundred nineteen EST probes that hybridized to three fragments and mapped to the three group 7 chromosomes were designated landmark probes and were used to construct a consensus homoeologous group 7 map. An additional 49 probes that mapped to 7AS, 7DS, and the ancestral translocated segment involving 7BS also were designated landmarks. Landmark probe orders and comparative maps of wheat, rice, and barley were produced on the basis of corresponding rice BAC/PAC and genetic markers that mapped on chromosomes 6 and 8 of rice. Identification of landmark ESTs and development of consensus maps may provide a framework of conserved coding regions predating the evolution of wheat genomes. (shrink)

In preparation for the development of a rapid tissue donation programme, we surveyed healthcare providers in our institution about knowledge and attitudes related to RTD with lung cancer patients. A 31-item web based survey was developed collecting data on demographics, knowledge and attitudes about RTD. The survey contained three items measuring participants’ knowledge about RTD, five items assessing attitudes towards RTD recruitment and six items assessing HCPs’ level of agreement with factors influencing decisions to discuss RTD. Response options were presented (...) on a 5-point Likert scale. Ninety-one HCPs participated in the study. 66% indicated they had never heard of RTD prior to the survey, 78% rated knowledge of RTD as none or limited and 95.6% reported not having ethical or religious concerns about discussing RTD with patients. The majority were either not comfortable or not sure if they felt comfortable discussing RTD with cancer patients . 56.1% indicated their knowledge of RTD would play an integral role in their decision to discuss RTD with patients. 71.4% reported concerns with RTD discussion and the emotional state of the patient. Physicians and nurses play an important role in initiating conversations about recruitment and donation to research that can ultimately influence uptake. Increasing HCP knowledge about RTD is a necessary step towards building an RTD programme. Our study provides important information about characteristics associated with low levels of knowledge and practice related to RTD where additional education and training may be warranted. (shrink)

The complex hexaploid wheat genome offers many challenges for genomics research. Expressed sequence tags facilitate the analysis of gene-coding regions and provide a rich source of molecular markers for mapping and comparison with model organisms. The objectives of this study were to construct a high-density EST chromosome bin map of wheat homoeologous group 2 chromosomes to determine the distribution of ESTs, construct a consensus map of group 2 ESTs, investigate synteny, examine patterns of duplication, and assess the colinearity with rice (...) of ESTs assigned to the group 2 consensus bin map. A total of 2600 loci generated from 1110 ESTs were mapped to group 2 chromosomes by Southern hybridization onto wheat aneuploid chromosome and deletion stocks. A consensus map was constructed of 552 ESTs mapping to more than one group 2 chromosome. Regions of high gene density in distal bins and low gene density in proximal bins were found. Two interstitial gene-rich islands flanked by relatively gene-poor regions on both the short and long arms and having good synteny with rice were discovered. The map locations of two ESTs indicated the possible presence of a small pericentric inversion on chromosome 2B. Wheat chromosome group 2 was shown to share syntenous blocks with rice chromosomes 4 and 7. (shrink)

A total of 1918 loci, detected by the hybridization of 938 expressed sequence tag unigenes from 26 Triticeae cDNA libraries, were mapped to wheat homoeologous group 4 chromosomes using a set of deletion, ditelosomic, and nulli-tetrasomic lines. The 1918 EST loci were not distributed uniformly among the three group 4 chromosomes; 41, 28, and 31% mapped to chromosomes 4A, 4B, and 4D, respectively. This pattern is in contrast to the cumulative results of EST mapping in all homoeologous groups, as reported (...) elsewhere, that found the highest proportion of loci mapped to the B genome. Sixty-five percent of these 1918 loci mapped to the long arms of homoeologous group 4 chromosomes, while 35% mapped to the short arms. The distal regions of chromosome arms showed higher numbers of loci than the proximal regions, with the exception of 4DL. This study confirmed the complex structure of chromosome 4A that contains two reciprocal translocations and two inversions, previously identified. An additional inversion in the centromeric region of 4A was revealed. A consensus map for homoeologous group 4 was developed from 119 ESTs unique to group 4. Forty-nine percent of these ESTs were found to be homoologous to sequences on rice chromosome 3, 12% had matches with sequences on other rice chromosomes, and 39% had no matches with rice sequences at all. Limited homology was found between wheat ESTs on homoeologous group 4 and the Arabidopsis genome. Forty-two percent of the homoeologous group 4 ESTs could be classified into functional categories on the basis of blastX searches against all protein databases. (shrink)

The focus of this study was to analyze the content, distribution, and comparative genome relationships of 996 chromosome bin-mapped expressed sequence tags accounting for 2266 restriction fragments on the homoeologous group 3 chromosomes of hexaploid wheat. Of these loci, 634, 884, and 748 were mapped on chromosomes 3A, 3B, and 3D, respectively. The individual chromosome bin maps revealed bins with a high density of mapped ESTs in the distal region and bins of low density in the proximal region of the (...) chromosome arms, with the exception of 3DS and 3DL. These distributions were more localized on the higher-resolution group 3 consensus map with intermediate regions of high-mapped-EST density on both chromosome arms. Gene ontology classification of mapped ESTs was not significantly different for homoeologous group 3 chromosomes compared to the other groups. A combined analysis of the individual bin maps using 537 of the mapped ESTs revealed rearrangements between the group 3 chromosomes. Approximately 232 of the consensus mapped ESTs matched sequences on rice chromosome 1 and revealed large- and small-scale differences in gene order. Of the group 3 mapped EST unigenes ∼21 and 32% matched the Arabidopsis coding regions and proteins, respectively, but no chromosome-level gene order conservation was detected. (shrink)

It has been claimed that contracting connectivesContracting connective are conditionalsConditional. Our modest aim here is to show that the conditional-like features of a contracting connectiveContracting connective depend on the defining features of the conditionalConditional in a particular logic, yes, but they also depend on the underlying notion of logical consequence and the structure of the collection of truth values. More concretely, we will show that under P-consequenceP-consequence and suitable satisfiability conditions for the conditionalConditional, conjunctionsConjunction are contracting connectivesContracting connective for some (...) logics without thereby being conditional-ish. (shrink)

I argue that if there are nondisabled reasons to believe p, then there cannot be nondisabled reasons to believe something incompatible with p. I first defend a restricted version of the view, which applies only to situations where the relevant agent has complete evidence. Then, I argue for a generalized version of the view, which holds regardless of the agent's evidence. As a related result, I show that, given plausible assumptions, there cannot be nondisabled reasons to believe something false.

En este artículo nos proponemos mostrar el lugar que ocupa el descubrimiento de los campos de trabajo forzado en la concepción sartriana de la política. Trataremos asimismo de mostrar que su concepción del poder impide captar la esencia totalitaria del régimen comunista que se estableció en la URSS a partir de 1923. Trataremos también de mostrar lo que dicha concepción debe a las discusiones con Maurice Merleau-Ponty y con Claude Lefort.

PreámbuloEl sentimiento contiene una sabiduría que la razón desconoce. Esta intuición es de los filósofos, los poetas, los artistas, los cantores como Violeta en "Volver a los 17". Nació Violeta a quien está dedicado el libro Sabiduría Chamánica del Sentimiento, y con ella los colores que ella y nosotros nos corresponde siempre redescubrir.En la portada de libro de Peter Wild, los colores aparecen distorsionados, quizás acá ya esté el primer indicio de encuentro con esta sabiduría del sentimi..

According to logical non-necessitarianism, every inference may fail in some situation. In his defense of logical monism, Graham Priest has put forward an argument against non-necessitarianism based on the meaning of connectives. According to him, as long as the meanings of connectives are fixed, some inferences have to hold in all situations. Hence, in order to accept the non-necessitarianist thesis one would have to dispose arbitrarily of those meanings. I want to show here that non-necessitarianism can stand, without disposing arbitrarily (...) of the meanings of connectives, based on a minimalist view on the meanings of connectives. (shrink)

It is necessary to reconsider P. M. S. Hacker’s assessment of Kant and Wittgenstein’s philosophical affinities and the question concerning Wittgenstein’s alleged use of “transcendental arguments”. First, Alfred Norman’s reading of the Tractatus Logico-Philosophicus as a thought experiment receives revision to develop a view of the Critique of Pure Reason as a large-scale thought experiment that shares important logical features with the Tractatus. Then the question is addressed whether the middle Wittgenstein and the pre-critical Kant employed any thought experiments that (...) could be equally characterised as “transcendental arguments”. A rational reconstruction of both thinkers’ arguments is carried out in the light of the contemporary literature on thought experimenting. The novelty and relevance of this approach is the emphasis laid upon a largely neglected affinity between Kant and Wittgenstein, namely the systematic use of thought experiments in their epistemological pursuits. The conclusions are: i) Wittgenstein’s and Kant’s magna opera can be seen as philosophical thought experiments that attempt to try out the limits of language and the limits of possible experience respectively; ii) Both philosophers developed arguments that can be designated as transcendental if only from a methodological standpoint; and iii) some key arguments put forward by the middle Wittgenstein in the determination of the structure of visual space could be characterised better as thought experiments than transcendental arguments. (shrink)

La equidad y la risaSobran, como ustedes saben, las anécdotas relativas a la particular índole del trabajo filosófico; pero quizá la más vieja de todas es la que recoge, unos seis siglos antes de Cristo, Esopo. Un astrónomo, cuenta Esopo, tenía la costumbre de salir todas las noches a observar las estrellas. Un día, caminando con toda su atención puesta en el cielo, cayó a un pozo. Alguien que pasó por allí oyó sus lamentos de dolor y al acercarse y (...) ver lo que le había ocurrido, dijo: ¡Pero .. (shrink)